This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue reading